module Time

open util/ordering[Time] as to

sig Time {}
